| 1. Identificação | ||||||||||
| Tipo de Referência | Relatório (Report) | |||||||||
| Site | mtc-m16d.sid.inpe.br | |||||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||||||||
| Identificador | 8JMKD3MGP7W/373F9JP | |||||||||
| Repositório | sid.inpe.br/mtc-m19@80/2010/02.26.14.05 | |||||||||
| Última Atualização | 2021:03.29.15.33.12 (UTC) sergio | |||||||||
| Repositório de Metadados | sid.inpe.br/mtc-m19@80/2010/02.26.14.05.47 | |||||||||
| Última Atualização dos Metadados | 2021:03.29.15.33.13 (UTC) sergio | |||||||||
| Número do Relatório | INPE-16677-RPQ/850 | |||||||||
| Chave de Citação | SantiagoJúniorCrisVija:2010:CoCoAp | |||||||||
| Título | Model-based test case generation using statecharts and z: a comparison and a combined approach  | |||||||||
| Ano | 2010 | |||||||||
| Data de Acesso | 18 maio 2024 | |||||||||
| Tipo | RPQ | |||||||||
| Número de Páginas | 70 | |||||||||
| Número de Arquivos | 1 | |||||||||
| Tamanho | 2447 KiB | |||||||||
| 2. Contextualização | ||||||||||
| Autor | 1 Santiago Júnior, Valdivino Alexandre de 2 Cristiá, Maximiliano 3 Vijaykumar, Nandamudi Lankapalli | |||||||||
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JJB5 | |||||||||
| Grupo | 1 DAS-CEA-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR | |||||||||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais 2 Universidad Nacional de Rosário (UNR) 3 Instituto Nacional de Pesquisas Espaciais | |||||||||
| Endereço de e-Mail do Autor | 1 valdivino@das.inpe.br | |||||||||
| Endereço de e-Mail | valdivino@das.inpe.br | |||||||||
| Instituição | Instituto Nacional de Pesquisas Espaciais | |||||||||
| Cidade | São José dos Campos | |||||||||
| Histórico (UTC) | 2010-03-04 12:54:09 :: valdivino -> yolanda :: 2010-03-08 18:29:20 :: yolanda -> viveca@sid.inpe.br :: 2010-03-08 19:11:39 :: viveca@sid.inpe.br -> yolanda :: 2010-03-08 19:16:37 :: yolanda -> valdivino :: 2010-03-08 19:19:38 :: valdivino -> yolanda :: 2010-04-08 17:00:00 :: yolanda -> valdivino :: 2010-04-08 17:13:47 :: valdivino -> yolanda :: 2010-04-19 15:18:19 :: yolanda -> ricardo :: 2010-04-19 16:48:02 :: ricardo -> viveca@sid.inpe.br :: 2010-04-27 19:28:52 :: viveca@sid.inpe.br -> administrator :: 2010-05-28 16:04:15 :: administrator -> ricardo :: 2010-05-31 12:12:02 :: ricardo -> viveca@sid.inpe.br :: 2010 2010-05-31 15:04:37 :: viveca@sid.inpe.br -> administrator :: 2010 2010-05-31 15:28:01 :: administrator -> viveca@sid.inpe.br :: 2010 2010-06-01 12:00:27 :: viveca@sid.inpe.br -> administrator :: 2010 2019-11-20 13:25:03 :: administrator -> sergio :: 2010 | |||||||||
| 3. Conteúdo e estrutura | ||||||||||
| É a matriz ou uma cópia? | é a matriz | |||||||||
| Estágio do Conteúdo | concluido | |||||||||
| Transferível | 1 | |||||||||
| Palavras-Chave | statecharts Z model-based software testing formal methods | |||||||||
| Resumo | No Instituto Nacional de Pesquisas Espaciais (INPE), pesquisadores e Engenheiros de Software têm usado testes baseados em Statecharts já há algum tempo para testar software embarcado em computadores de satélites. Por outro lado, um grupo de pesquisadores do Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas (CIFASIS) e Flowgate Consulting têm aplicado testes basedos em linguagem Z no escopo de testes de unidade. Ambos os grupos iniciaram uma comparação das respectivas abordagens e ferramentas e, o que se iniciou como uma comparação para compartilhar idéias e resultados, resultou em uma proposta de Testes Baseados em Modelos (TBM) mais ampla e efetiva, dado que se percebeu que ambas as técnicas se complementam e se beneficiam uma da outra. Este Relatório Técnico detalha as idéias da comparação entre Statecharts e Z, e também a proposta combinando estas duas técnicas mostradas anteriormente em um artigo aceito e apresentado no 11th IEEE Latin American Test Workshop (LATW'10) , o qual ocorreu em Punta del Este, Uruguai, em 2010. ABSTRACT: At Instituto Nacional de Pesquisas Espaciais (INPE - National Institute for Space Research), researchers and Software Engineers have been using Statechart-based testing for some time to test satellite computer embedded software. On the other hand, a group of researchers at Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas (CIFASIS - French Argentine International Center for Information Systems and Sciences) and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools and, what started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. This Technical Report details the ideas of the comparison between Statecharts and Z, and also the proposal combining these two techniques shown previously in a paper accepted and presented at the 11th IEEE Latin A merican Test Workshop (LATW'1O) that took place in Punta del Este, Uruguay, 2010. | |||||||||
| Área | COMP | |||||||||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Model-based test case... | |||||||||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Model-based test case... | |||||||||
| Conteúdo da Pasta doc | acessar | |||||||||
| Conteúdo da Pasta source |
| |||||||||
| Conteúdo da Pasta agreement |
| |||||||||
| 4. Condições de acesso e uso | ||||||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/373F9JP | |||||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/373F9JP | |||||||||
| Idioma | en | |||||||||
| Arquivo Alvo | publicacao1.pdf | |||||||||
| Grupo de Usuários | administrator ricardo valdivino viveca@sid.inpe.br yolanda.souza@mcti.gov.br | |||||||||
| Visibilidade | shown | |||||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | |||||||||
| Detentor da Cópia | SID/SCD | |||||||||
| Permissão de Leitura | allow from all | |||||||||
| Permissão de Atualização | não transferida | |||||||||
| 5. Fontes relacionadas | ||||||||||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | |||||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH | |||||||||
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.15.01.24 8 | |||||||||
| Divulgação | NTRSNASA; BNDEPOSITOLEGAL. | |||||||||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | |||||||||
| 6. Notas | ||||||||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype creatorhistory date descriptionlevel doi edition format isbn issn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype | |||||||||
| 7. Controle da descrição | ||||||||||
| e-Mail (login) | sergio | |||||||||
| atualizar | ||||||||||